program analysis, linting, dataflow analysis, abstract interpretation
Press ? anytime to show this help